121. Recent trends in algebraic development techniques
پدیدآورنده : / Maura Cerioli, Gianna Reggio (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
W33
,
2001
122. Recent trends in algebraic development techniques
پدیدآورنده : / Jos?� Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
754
,
W32
,
2004
123. Recent trends in algebraic development techniques :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses. ;
124. Recent trends in algebraic development techniques
پدیدآورنده : Narciso Martí-Oliet, Miguel Palomino (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
D47
W33
2012
125. Recent trends in algebraic development techniques
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
126. Recent trends in algebraic development techniques :
پدیدآورنده : José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
127. Recent trends in algebraic development techniques
پدیدآورنده : / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
W33
,
2006
128. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
پدیدآورنده : Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3423
129. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers
پدیدآورنده : Didier Bert, Christine Choppy, Peter Mosses )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1827
130. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers
پدیدآورنده : Jose Luiz Fiadeiro )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1589
131. Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers
پدیدآورنده : Francesco Parisi Presicce, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1376
132. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
پدیدآورنده : Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2755
133. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
76
.
D47
.
W33
2001
134. Reliable systems on unreliable networked platforms
پدیدآورنده : / Fabrice Kordon, Janos Sztipanovits (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer software--Development--Congresses,Software architecture--Development--Congresses,Computer systems--Reliability--Congresses
رده :
QA
,
76
.
76
,.
D47
,
R46
,
2007
135. Reliable systems on unreliable networked platforms
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses. ; Software architecture ; Development ; Congresses. ; Computer systems ; Reliability ; Congresses. ;
136. Requirements Engineering with Use Cases. - a Basis for Software Development
پدیدآورنده : Regnell,Bjorn
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، System design -- Congresses,، System analysis -- Congresses,، Computer software -- Development -- Congresses
رده :
QA
76
.
9
.
R46
1999
137. Second International IEEE Workshop on Software Evolvability :
پدیدآورنده : IEEE Computer Society.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses.,Software maintenance, Congresses.,Computer Science.,Computer software-- Development.,Engineering & Applied Sciences.,Software maintenance.
رده :
QA76
.
76
.
D47
I322
2006
138. Second International Workshop on Software Engineering for Parallel and Distributed Systems: May 17-18, 1997, Boston, MA, USA
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer software-- Development
رده :
QA
76
.
58
.
I5768
1997
139. Software Composition
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Development -- Congresses,Software engineering -- Congresses,Computer science,نرم‌افزار -- تولید -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها,علوم کامپیوتر
رده :
E-Book
,
140. Software Engineering Research, Management and Applications
پدیدآورنده : \ Roger Lee Editor
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a03,a03,Computer software -- Development -- Congresses.,نرم‌افزار -- تولید -- کنگره ها
رده :
E-Book
,
